想象一下,从一维世界步入二维运动的天地。在一阶动力学中,我们追踪简单的增长与衰减。但要模拟摆的摆动或悬索桥的弹跳,我们需要 二阶线性算子。这一页构建了数学上的“安全网”——确保解存在的定理,以及将微分方程问题转化为简单二次方程求解的代数桥梁。
1. 线性微分算子
我们将作用于函数 $\phi$ 的二阶线性微分算子 $L$ 定义为:
$L[\phi] = \phi'' + p(t)\phi' + q(t)\phi$
对于齐次方程 $L[y] = 0$,其 叠加原理 表明:如果 $y_1$ 和 $y_2$ 是解,则它们的线性组合 $y = c_1y_1(t) + c_2y_2(t)$ 也是解。这种线性是结构工程和信号处理的基础。
定理 3.2.1:存在性与唯一性
考虑初值问题 $y'' + p(t)y' + q(t)y = g(t)$,其中 $y(t_0) = y_0, y'(t_0) = y_0'$。若 $p, q$ 和 $g$ 在包含 $t_0$ 的开区间 $I$ 上 连续 ,则在整个区间 $I$ 内存在唯一的解 $y = \phi(t)$。
2. 常系数与代数化简
当系数为常数($ay'' + by' + cy = 0$)时,我们假设解的形式为 $y = e^{rt}$。将其代入微分方程可得 特征方程:
$ar^2 + br + c = 0$
当根 $r_1, r_2$ 为实数且互异时,通解为:
$y = c_1 e^{r_1 t} + c_2 e^{r_2 t}$
示例:互异根(例 2 与 3)
问题
求解 $y'' + 5y' + 6y = 0$,初始条件为 $y(0)=2, y'(0)=3$。
解答
1. 特征方程:$r^2 + 5r + 6 = 0 \implies (r+2)(r+3)=0$。根为:$r_1=-2, r_2=-3$。2. 通解:$y = c_1 e^{-2t} + c_2 e^{-3t}$。
3. 常数:由 $y(0)=2$ 与 $y'(0)=3$ 可建立方程组,求出该物理状态下的特定常数。
3. 恰当方程与伴随方程
方程 $P(x)y'' + Q(x)y' + R(x)y = 0$ 若满足 恰当 可化为形式 $(P(x)y')' + (f(x)y)' = 0$,则称为恰当方程。分析此类方程时,我们使用 伴随方程:
$P\mu'' + (2P' - Q)\mu' + (P'' - Q' + R)\mu = 0$
🎯 核心原理
通过特征方程,从微积分过渡到代数,将动态的变化率转化为静态的代数点。常数 $c_1$ 与 $c_2$ 由初始条件唯一确定,从而锁定系统的轨迹。
$c_1 = \frac{y_0' - y_0 r_2}{r_1 - r_2} e^{-r_1 t_0}, \quad c_2 = \frac{y_0 r_1 - y_0'}{r_1 - r_2} e^{-r_2 t_0}$